FinishTimeWorkSpace.java

// ***********************************************************************
   
public class FinishTimeWorkSpace extends  WorkSpace {
    int FinishCounter;
 
    public FinishTimeWorkSpace() {
        FinishCounter = 1;
    }

    public void preVisitAction( Vertex v )
      {
        if ( v.visited!=true )
            FinishCounter++;
    }

    public void postVisitAction( Vertex v ) {
        v.finishTime = FinishCounter++;
    } // of postVisit
    
}